A Concurrent Architecture for Serializable Production Systems - Parallel and Distributed Systems, IEEE Transactions on
نویسنده
چکیده
This paper presents a new production system architecture that takes advantage of modern associative memory devices to allow parallel production firing, concurrent matching, and overlap among matching, selection, and firing of productions. We prove that the results produced by the architecture are correct according to the serializability Criterion. A comprehensive event driven simulator is used to evaluate the scaling properties of the new architecture and to compare it with a parallel architecture that does global synchronization before every production firing. We also present measures for the improvement in speed due to the use of associative memories and an estimate for the amount of associative memory needed. Architectural evaluation IS facilitated by a new benchmark program that allows for changes in the number of productions, the size of the database, the variance between the sizes of local data clusters, and the ratio between local and global data. Our results indicate that substantial improvements in speed can be achieved with a very modest increase
منابع مشابه
Serializable Snapshot Isolation in Shared-Nothing, Distributed Database Management Systems
NoSQL data storage systems provide high scalability and availability in exchange for limited transactional guarantees. In many cases, however, an application cannot give up transactional support but still needs the scalability provided by such systems. One approach for overcoming this limitation is to implement Snapshot Isolation (SI) on top of these systems. SI prevents most non-serializable e...
متن کاملA Concurrent Architecture for Serializable Production Systems
This paper presents a new production system architecture that takes advantage of modern associative memory devices to allow parallel production ring, concurrent matching, and overlap among matching, selection, and ring of productions. We prove that the results produced by the architecture are correct according to the serializability criterion. A comprehensive event driven simulator is used to e...
متن کاملAn Architecture and Model for Processing Transactions in Multiversion Object Base Systems
Multiversioning of objects in an object-oriented system provides increased concurrency and enhanced reliability. The last decade has seen proposals for managing transactions in multiversion database systems. We propose a model and an architecture that exploit multiple versions in object-oriented systems. Our architecture contains three main components that ensure correct concurrent serializable...
متن کاملTransaction scheduling in dynamic composite multidatabase systems
This paper proposes composite multidatabase architecture consisting of multiple, possibly heterogeneous, peer multidatabase servers distributed on a communications network. The domain of each multidatabase server is treated as a multidatabase cell. Global transactions could span multiple multidatabase cells, sometimes forcing multidatabase servers to act as component database systems. Although ...
متن کاملTransaction Decomposition Using TransactionSemanticsArthur
1 Abstract Serializability has been widely accepted as the correctness criterion for databases subject to concurrent access. However, in a number of the newer and most challenging application areas, serializable execution may not be feasible. Serializable execution is generally implemented using a two-phase locking algorithm that locks items in the database to delay transactions that are in dan...
متن کامل